abstraction, modeling, pattern discovery